Designing Sociotechnical Systems with Protos

Traditional requirements engineering approaches give little emphasis on the engineering of interactions. Increasingly, the software systems of today are developed independently and integrated with each other, as in sociotechnical systems, where several technical systems support the interaction between the social systems. We propose the Protos methodology as a set of refinement rules which, once applied to the stakeholder requirements, produce multiple specifications as a solution to the requirements problem of sociotechnical systems. We use the London Ambulance System as an example domain.